perm filename HJS.FRM[P,JRA]5 blob
sn#211847 filedate 1976-04-20 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00001 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 ENDMK
C⊗;
∂23-JAN-76 0632 HJS via NBST Book
John,
Thanks for your book. I have been away for a long time. I just
returned from the SIGPLAN-SIGACT conference in Atlanta. It was
basically a LISP conference. When you get a hold of the proceedings
you will see that most of the papers dealt with LISP. I talked to
several people there and there was almost a uniform consensus
(see how carefully I choose the people to talk to!) that the time has
come for a simple and clean LISP - very much like what I propose.
The book looks very good. It looks like I will only be able to
teach my course next spring but I will try to push for fall.
As you may have heard I was in California for a few days and at
stanford for one night (and part of two days). I regret not having
looked you up but there were certain affairs I had to take care of which
precluded my doing so.
How is the LISP business going. At the moment I dont have too much time
for the small machine stuff but after the end of the term would be fine. I am teaching the Knuth course and the same elementary programming
course. I am also trying to get a couple of papers out - such is
the life in academia! Keep in touch. We can talk over the machine
in the mornings. So long.
Hanan,
∂02-FEB-76 0903 HJS via NBST letter
Got your letter. Sure I will write you a letter of recommendation.
However, please tell me what you want me to say. I have never done
this before. Uzgalis tells me that he asks people to write a
letter for themselves. Why Arizona and not Stanford where you are
close? Let me know about HP problems. Back to letter. What do you want
me to stress?
1. Teaching at San Jose State and UCLA. This will have to be qualified
by a statement that I had no first hand observation.
2. Quality of book.
3. One of pioneers of LISP and theorem proving.
Anyway, you might want to write me a rough draft. Let me know.
Good Luck!
Hanan,
∂27-FEB-76 0723 HJS via NBST message
John,
I have been working on a paper most of the time. I was using SUMEX
due to the heavy crunch and slow response at the lab. I think that
the guy from Maryland at the conferencce was Austing (Atchison was
also there). I believe they were talking about my course. It is
slated for spring 1977. The PDP-11 LISP here is working but address space
is rather limited. The guy is now implementing a compiler. He is using some of
my ideas on efficient code generation. He is implementing WISCONSI LISP
on the PDP-11. I will send off a copy of the documentation to you.
Just give me the address to which it should be sent. I have not thought
much about small machine recently although I would be interested to
compare ideas. For a start you could look at the file NOTES<SAMET> at
SUMEX where I have jotted down some thoughts. What about setting
some time one day and can link up on the computer? I sent off a
glowing note about you to Arizona. Keep in touch.
Hanan,
∂12-MAR-76 0943 HJS via NBST LISP
John,
I have finally transferred the file NOTES to NOTES[L,HJS] from
SUMEX. Happy reading. It is really not much and don't think I am a clown
after reading it. What is up otherwise? Good luck. If you can see any
way for me to come out to West Coast to consult on LISP for HP -
wishful thinking!!! I am ready at a few moments notice.
Hanan,
∂18-MAR-76 1538 HJS via NBST message
Joohn,
Thanks fooo your message. How about explaining to me
what I said that was wroong in NOTES . Just type the cmment in
the file - i.e. in brackets prefaced by JRA .
For example: [JRA: This sucks . . . ] . Should be easy.
What does the official McGraw Hill reviewer get?
I assume capters 6 and 7 and 8 are on implementation.
I dknt want to have anything to do with denotational semantics!
After you fill me n on the details I would
probably be willing.
I will try to get in early one of these days so we
can talk. I managed to teach LISP in my data structures
course in five one hour and fifteen minutes lectures.
Not too bad. Just got new LISP book in
mail by Sikolsky - it i called either "Talking LISP" or
"Understanding LISP". I foorgot exact title. It is being
put out by Prentice Hall. Good luck!
Hanan,
∂06-APR-76 1043 HJS via NBST request
John,
Could you please do me a favor.
I have a paper on the system called
THSIS1.XGP
could you please check to see if the figures are all
on the same page. Then send me a copy of it. I will
put it out as a technical report here.
I have also sent by mail to you at Hewlett Packard
Two Title pages. Please generate them for me on the
XGP using BASL30 or maybe better yet BASB30 for the
title and affiliation. I have surrounded the title
box by a box in which it mut fit. I enclose a
Maryland cover page so you
can see why the need forthe box. Don't
generate a box.
Thanks. I would appreciate it if done ASAP and mailed to me
here.
How are things at HP? and other fronts?
Let me know.
Hanan,